axiomatic semantics中文什么意思

公理化语义

公理语义学

• axiomatic:    adj. 1.公理的，自明的。 2. ...
• semantics:    n. 1.【语言学】语义学。 2.【 ...
• axiomatic semantics approach:    公理语义学方法

百科释义

Axiomatic semantics is an approach based on mathematical logic to proving the correctness of computer programs. It is closely related to Hoare logic.